package lagern;

/**
 * Interface definition: Fach.
 * 
 * @author OpenORB Compiler
 */
public interface FachOperations
{
    /**
     * Read accessor for anzahl attribute
     * @return the attribute value
     */
    public int anzahl();

    /**
     * Read accessor for name attribute
     * @return the attribute value
     */
    public String name();

    /**
     * Operation einlagern
     */
    public void einlagern(String user, int anzahl)
        throws lagern.FachPackage.exInvalidCount;

    /**
     * Operation auslagern
     */
    public void auslagern(String user, int anzahl)
        throws lagern.FachPackage.exInvalidCount, lagern.FachPackage.exNotEnoughPieces;

}
